Skip to content

chore: CI: bump softprops/action-gh-release from 2.3.3 to 2.4.1 #11054

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 11, 2025
Merged

chore: CI: bump softprops/action-gh-release from 2.3.3 to 2.4.1 #11054

merged 1 commit into from
Nov 11, 2025

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 1, 2025 •
edited by Kha
Loading

Bumps softprops/action-gh-release from 2.3.3 to 2.4.1.

@dependabot
chore: CI: bump softprops/action-gh-release from 2.3.3 to 2.4.1
c1e2b71 
Bumps [softprops/action-gh-release](https://github.com/softprops/action-gh-release) from 2.3.3 to 2.4.1.
- [Release notes](https://github.com/softprops/action-gh-release/releases)
- [Changelog](https://github.com/softprops/action-gh-release/blob/master/CHANGELOG.md)
- [Commits](softprops/action-gh-release@6cbd405...6da8fa9)

---
updated-dependencies:
- dependency-name: softprops/action-gh-release
  dependency-version: 2.4.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Nov 1, 2025
@dependabot dependabot bot requested a review from kim-em as a code owner November 1, 2025 20:09
@dependabot dependabot bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Nov 1, 2025
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Nov 1, 2025
@leanprover-community-bot
Copy link
Collaborator

leanprover-community-bot commented Nov 1, 2025

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 2da124d4691923cf6966c99436c7acba7a321a7e --onto 1ce05b2a179eac8a902995c0caddc609c0169c49. You can force Mathlib CI using the force-mathlib-ci label. (2025-11-01 21:00:50)

@leanprover-bot
Copy link
Collaborator

leanprover-bot commented Nov 1, 2025

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase 2da124d4691923cf6966c99436c7acba7a321a7e --onto d3dda9f6d4428a906c096067ecb75e432afc4615. You can force reference manual CI using the force-manual-ci label. (2025-11-01 21:00:51)

@Kha Kha enabled auto-merge November 11, 2025 12:40
@Kha Kha added this pull request to the merge queue Nov 11, 2025
Merged via the queue into master with commit a7f47db Nov 11, 2025
39 checks passed
@dependabot dependabot bot deleted the dependabot/github_actions/softprops/action-gh-release-2.4.1 branch November 11, 2025 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kim-em kim-em Awaiting requested review from kim-em kim-em is a code owner

Assignees

No one assigned

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@leanprover-community-bot @leanprover-bot @Kha